An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions
نویسندگان
چکیده
Web services related technologies (especially web services compositions) play now a key role in e-Business and its future. Languages to compose web services, such as the OASIS WS-BPEL 2.0 standard, open a vast new field for programming in the large. But they also present a challenge for traditional white-box testing, due to the inclusion of specific instructions for concurrency, fault compensation or dynamic service discovery and invocation. Automatic invariant generation has proved to be a successful white-box testingbased technique to test and improve the quality of traditional imperative programs. This paper proposes a new architecture to create a framework that dynamically generates likely invariants from the execution of web services compositions in WS-BPEL to support white-box testing.
منابع مشابه
Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information
The OASIS WS-BPEL 2.0 standard language for Web Service composition eases the creation of advanced services based on others. However, its dynamic and asynchronous nature presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyses execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composi...
متن کاملp-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions
Enabling the specification of dynamic service-oriented architectures is a key challenge for an Architecture Description Language (ADL). This paper describes π-ADL for WS-Composition, a novel ADL that has its roots in the ArchWare European Project. It is a formal language specially designed for modeling dynamic architectures based on the typed π-calculus. While most ADLs focus on describing stat...
متن کاملA Framework and Language Support for Dynamic Security Policy in Service-Oriented Architecture
In today’s global network-based environment, where mission-critical applications typically run on highly distributed systems, customers expect reliable, available, and secure services. Supporting security becomes an important issue in service-oriented architecture (SOA). This paper describes how to simultaneously support both dynamic security policies and separation of concerns when developing ...
متن کاملFrom Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL
The Web Service Choreography Description Language (WSCDL) is a novel specification for describing multiple party collaboration based on web services from a global point of view. WS-CDL is designed to be used in conjunction with the Web Services Business Process Execution Language (WS-BPEL or BPEL), but up to now work on conceptual mappings between both languages is missing. This paper closes th...
متن کاملChoreography Design Using WS-BPEL
Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an agreed standard to describe the behavior of a single process (WS-BPEL), there is no agreed standard to describe choreographies. In this paper, we give an overview about existing approaches to model choreographies and p...
متن کامل